Easyprove: a tool for teaching precise reasoning
نویسنده
چکیده
Teaching precise mathematical reasoning can be very hard. It is very easy for a student to make a subtle mistake in a proof which invalidates it, but it is often hard for the teacher to pinpoint and explain the problem in the (often chaotically written) student’s proof. We present Easyprove, an interactive proof assistant aimed at first year computer science students and high school students, intended as a supplementary tool for teaching logical reasoning. The system is a Web application with a natural, mouse-oriented user interface. 1998 ACM Subject Classification F.4.1 Mathematical Logic
منابع مشابه
Puzzle test: A tool for non-analytical clinical reasoning assessment
Most contemporary clinical reasoning tests typically assess non-automatic thinking. Therefore, a test is needed to measure automatic reasoning or pattern recognition, which has been largely neglected in clinical reasoning tests. The Puzzle Test (PT) is dedicated to assess automatic clinical reasoning in routine situations. This test has been introduced first in 2009 by Monajemi et al in the Oly...
متن کاملFirst International Congress on Tools for teching Logic The Interactive Learning Environment WinKE for Teaching Deductive Reasoning
WinKE is an interactive proof assistant based on the KE calculus, a refutation system which combines features from Smullyan’s analytic tableaux and Gentzen’s natural deduction. The software has been developed to support teaching logic and deductive reasoning at university level. In the sequel we brie‡y introduce the proof system KE and give an overview of the main features of the software tool.
متن کاملGentzen-Prawitz Natural Deduction as a Teaching Tool
We report a four-years experiment in teaching reasoning to undergraduate students, ranging from weak to gifted, using GentzenPrawitz’s style natural deduction. We argue that this pedagogical approach is a good alternative to the use of Boolean algebra for teaching reasoning, especially for computer scientists and formal methods practioners.
متن کاملThe Outcomes of Ethics Education to Medical Students Based on Moral Reasoning Models
Introduction: For years, the importance of medical ethics education in medical schools has been emphasized but there is no consensus over learning goals yet. This study aimed to investigate the learning outcomes of medical ethics education based on models of moral reasoning. Methods: This study is a review using proper keywords in databases such as Medline, Web of Science, Scoupus, and Eric li...
متن کاملارزیابی استدلال بالینی دستیاران و کارورزان پزشکی براساس پرسشنامه تفکر تشخیصی در دانشگاه علوم پزشکی ایران، 1392
Background: Clinical reasoning is important in any educational setting and should be included in all aspects of knowledge and skills of a student. In the clinical reasoning process the physician gains information by questioning the patient, compares this information with clinical findings and finally using his/her experience, reaches a diagnosis. Medical students at different levels show lo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1507.03675 شماره
صفحات -
تاریخ انتشار 2015